\section{Análise Semântica}

O desenvolvimento da análise semântica de PHP foi realizado com auxílio da
ferramenta \texttt{JCup} - também utilizada na entrega 1 do projeto. \emph{Ela
nos permitiu construir o nosso analisador adicionando ações semânticas para os
aspectos de análise semântica que puderam ser cobertos para PHP. Na
Seção~\ref{sec:dificuldades}}, nos aprofundamos em relação aos motivos pelos
quais não se pôde realizar um analisador semântico cobrindo todos os aspectos
vistos na disciplina.

\input{tex/checagemtipos}

\input{tex/regrasboaformacao}

\input{tex/testeexecucao}

